41. Logic programming and nonmonotonic reasoning :
Author: James P. Delgrande, Wolfgang Faber (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses,Nonmonotonic reasoning, Congresses
Classification :
QA76
.
63
.
L66
2011
42. Logic programming and nonmonotonic reasoning :
Author: Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.
43. Logic programming and nonmonotonic reasoning :
Author: Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses,Nonmonotonic reasoning, Congresses,Logic programming, Congresses,Nonmonotonic reasoning, Congresses
Classification :
QA76
.
63
.
L74
1999
44. Logic programming and nonmonotonic reasoning
Author:
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Logic programming congresses,Nonmonotonic reasoning congresses
Classification :
QA
,
76
.
63
,.
L74
45. Logic programming and nonmonotonic reasoning
Author: Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses,Nonmonotonic reasoning, Congresses
Classification :
QA76
.
63
.
L74
2009eb
46. Logic programming and nonmonotonic reasoning
Author: / Chitta Baral, Gerhard Brewka, John Schlipf (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic programming--Congresses,Nonmonotonic reasoning--Congresses
Classification :
QA
,
76
.
63
,.
L74
,
2007
47. Logic programming and nonmonotonic reasoning :
Author: Pedro Cabalar, Tran Cao Son (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses,Nonmonotonic reasoning, Congresses
Classification :
QA76
.
63
.
L66
2013
48. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings
Author: Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
Classification :
QA
76
.
L28
Vol
.
1265
49. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
Author: Chitta Baral... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
Classification :
QA
76
.
L28
Vol
.
3662
50. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
Author: Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
Classification :
QA
76
.
L28
Vol
.
1730
51. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
Author: Vladimir Lifschitz, Ilkka Niemela )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
Classification :
QA
76
.
L28
Vol
.
2923
52. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
Author: Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
Classification :
QA
76
.
L28
Vol
.
2173
53. Logical and Computational Aspects of Model-Based Reasoning
Author: edited by Lorenzo Magnani, Nancy J. Nersessian, Claudio Pizzi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Discoveries in science -- Congresses.,Qualitative reasoning -- Congresses.,Science -- Methodology -- Congresses.
54. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
Author: A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
Classification :
QA
76
.
7
.
A285
2005
55. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses
Classification :
Q
،
334
،.
I576
،
1989
56. Methodologies for intelligent systems, 4 : Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina
Author: editor, Zbigniew W. Ras
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Knowledge, Theory of,Congresses ، Logic, Symbolic and mathematical
Classification :
Q
334
.
I576
1989
57. Model-Based Reasoning in Science and Technology
Author: \ Lorenzo Magnani Editor
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Model-based reasoning -- Congresses.,Philosophy of Science.
Classification :
E-Book
,
58. Model-Based Reasoning in Scientific Discovery
Author: edited by Lorenzo Magnani, Nancy J. Nersessian, Paul Thagard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Discoveries in science -- Congresses.,Qualitative reasoning -- Congresses.,Science -- Methodology -- Congresses.
Classification :
Q175
.
32
.
R45
E358
1999
59. Model-based reasoning in science and technology
Author: / Lorenzo Magnani, Walter Carnielli, and Claudio Pizzi (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Model-based reasoning--Congresses
Classification :
Q
,
339
.
19
,.
M64
,
2010
60. Model-based reasoning in science and technology :
Author: Ángel Nepomuceno-Fernández, Lorenzo Magnani, Francisco J. Salguero-Lamillar, Cristina Barés-Gómez, Matthieu Fontaine, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Model-based reasoning, Congresses.,Model-based reasoning.
Classification :
Q339
.
19
.
M63
2018eb
